<html>
    <head>
        <title></title>
        <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
        <link rel="stylesheet" type="text/css" href="../style.css">
    </head>
    <body>
        <div class="text">
        <h2>Test-files</h2>
        Test-files need to fit a special scheme. They are necessary to execute and test a
        procedure of a package. These packages must be referred in the test-file. In general
        there is only one command: the execution of the procedure you want to test. The test
        parameters should be defined directly and be passed to the function.<br />
        For example:<br />
        <br />
        <div style="font-family: Courier New;">
WITH IntSqrt; USE IntSqrt;<br />
<br />
PROCEDURE Test_IntSqrt_IntSqrtBis_1 IS<br />
&nbsp;&nbsp;&nbsp;M: Integer := 25;<br />
&nbsp;&nbsp;&nbsp;N: Integer := 5;<br />
BEGIN<br />
&nbsp;&nbsp;&nbsp;IntSqrtBis(M, N);<br />
END Test_IntSqrt_IntSqrtBis_1;
        </div>
        <br /><br />
        The name scheme of a test-file should also be clear now: the filename starts with the
        keyword "Test", followed by the package and the procedure u want to test, ending with
        a number (each connected by an underline): <br />
        "Test_package_procedure_#.txt" <br />
        Alternatively there is the possibility to create test-files directly within ADAlyzer.
        Use the item "Create test-file..." in the verification-menu, if you want to take
        advantage of this option.
    </body>
</html>
